- Sprache
-
Deutsch
- Anmerkungen
-
Paderborn, Univ., Diss., 2004
- Identifier
-
974937002
Thema
Softwareentwicklung ; Mehragentensystem ; AML ; Graphersetzungssystem ; Abstrakte Zustandsmaschine ; Model Checking ; Hochschulschrift
Beteiligte Personen und Organisationen
- URN
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
26.01.2023, 13:57 MEZ
Objekttyp
- Monografie
Ähnliche Objekte (12)
Visuelle Modellierung agentenbasierter Systeme
Verification of Erlang programs using abstract interpretation and model checking
Consistency management of object-oriented behavioral models
Modelling and verifying abilities of rational agents
A framework for checking programmer defined constraints on the definition and use of program elements in Java
Ein Framework zur modularisierten und pattern-basierten Entwicklung von zuverlässigen, personalisierten, web-basierten Applikationen
Model checking pushdown systems
Modelling and verifying abilities of rational agents
Model checking abstract state machines
A system-theoretic safety engineering approach for software-intensive systems
Model-checking problems, machines and parameterized complexity
Formale Analyse des Zeitverhaltens netzbasierter Automatisierungssysteme
Visuelle Modellierung agentenbasierter Systeme
Verification of Erlang programs using abstract interpretation and model checking
Consistency management of object-oriented behavioral models
Modelling and verifying abilities of rational agents
A framework for checking programmer defined constraints on the definition and use of program elements in Java
Ein Framework zur modularisierten und pattern-basierten Entwicklung von zuverlässigen, personalisierten, web-basierten Applikationen
Model checking pushdown systems
Modelling and verifying abilities of rational agents
Model checking abstract state machines
A system-theoretic safety engineering approach for software-intensive systems
Model-checking problems, machines and parameterized complexity
Formale Analyse des Zeitverhaltens netzbasierter Automatisierungssysteme
Visuelle Modellierung agentenbasierter Systeme
Verification of Erlang programs using abstract interpretation and model checking
Consistency management of object-oriented behavioral models
Modelling and verifying abilities of rational agents
A framework for checking programmer defined constraints on the definition and use of program elements in Java
Ein Framework zur modularisierten und pattern-basierten Entwicklung von zuverlässigen, personalisierten, web-basierten Applikationen
Model checking pushdown systems
Modelling and verifying abilities of rational agents
Model checking abstract state machines
A system-theoretic safety engineering approach for software-intensive systems
Model-checking problems, machines and parameterized complexity