Erscheinungsdatum
alle
letzten Monat
letzten 30 Tage
diesen Monat
heute
nächsten 30 Tage
nächsten Monat
weitere Filter
Autor
bowen, jonathan p.
(2)hinchey, mike
(2)olderog, ernst-rüdiger
(2)colombo, christian
(1)pace, gordon j.
(1)petre, luigia
(1)Schlagwort
software correctness
(5)edv
(3)formal methods
(3)formalmethods
(3)informatik
(3)softwarecorrectness
(3)action systems formalism
(2)automated reasoning
(2)concurrency theory
(2)database management system
(2)formal methods in distributed computing
(2)formal verification
(2)logic
(2)logics and meanings of programs
(2)lts
(2)mathematical logic and formal languages
(2)mathematical logic and foundations
(2)models and principles
(2)parallel composition
(2)petri nets
(2)programming techniques
(2)proof obligations
(2)provably correct systems
(2)provablycorrectsystems
(2)refinement relation
(2)refinement step
(2)softwaretests und prüfsoftware
(2)specification validation
(2)system modelling
(2)theoretische informatik
(2)theory of computation
(2)theoryofcomputation
(2)acti
(1)action systems
(1)action systems formal method
(1)action systems framework
(1)allgemeines
(1)aspect-oriented programming
(1)aspect-orientedprogramming
(1)computer science research
(1)computers
(1)data refinement
(1)differential actions
(1)distributed systems
(1)enabled events
(1)end end
(1)information theory
(1)linear temporal logic
(1)logik
(1)mathematik
(1)minimal cut sets
(1)model checking
(1)professor kaisa sere
(1)runtime monitoring
(1)runtime verification
(1)runtimemonitoring
(1)runtimeverification
(1)software reliability
(1)softwarereliability
(1)the refinement approach
(1)theorie
(1)Ergebnis: 5 Artikel
Schlagwort: software correctness
