Erscheinungsdatum
alle
letzten Monat
letzten 30 Tage
diesen Monat
heute
nächsten 30 Tage
nächsten Monat
weitere Filter
Schlagwort
acti
(1)action systems
(1)
action systems formal method
(1)action systems formalism
(1)automated reasoning
(1)computer science research
(1)concurrency theory
(1)distributed systems
(1)formal methods in distributed computing
(1)formal verification
(1)lts
(1)parallel composition
(1)petri nets
(1)professor kaisa sere
(1)proof obligations
(1)refinement relation
(1)refinement step
(1)software correctness
(1)softwaretests und prüfsoftware
(1)specification validation
(1)system modelling
(1)the refinement approach
(1)Ergebnis: 1 Artikel
Schlagwort: action systems formal method
