Woźna-Szcześniak, Bożena.
Bożena Woźna-Szcześniak Polish computer scientist
VIAF ID: 161673850 (Personal)
Permalink: http://viaf.org/viaf/161673850
Preferred Forms
- 100 0 _ ‡a Bożena Woźna-Szcześniak ‡c Polish computer scientist
- 100 1 _ ‡a Wozna-Szczesniak, Bozena
-
- 100 1 _ ‡a Woźna-Szcześniak, Bożena
-
4xx's: Alternate Name Forms (5)
Works
Title | Sources |
---|---|
Algorytmy zachłanne | |
Application of functional paradigm to formal analysis of systems modelled with Alvis language | |
Branching time bounded model checking for elementary net systems | |
Checking reachability properties for timed automata via SAT | |
Methods of generation of transition systems for Alvis language | |
Metody generowania etykietowanych systemów przejść dla języka Alvis | |
Modelling of selected UML 2.0 diagrams with coloured Petri nets | |
Modelowanie wybranych diagramów języka UML 2.0 z zastosowaniem kolorowanych sieci Petriego | |
On the SAT-based verification of communicative commitments | |
Planification temporelle avec les contraintes floues et préférences. | |
Planowanie temporalne z ograniczeniami typu rozmytego i preferencjami | |
SAT-based bounded model checking for the universal fragment of TCTL | |
Temporal planning with fuzzy constraints and preferences | |
Towards verification of Java programs in VerICS | |
Zastosowanie paradygmatu funkcyjnego do formalnej analizy systemów modelowanych w języku Alvis |