Ergebnisse für: Verfikation
Hier findest Du Bücher, die sich mit Verfikation beschäftigen.
This book presents five tutorial-style lectures on various approaches to the problem of verifying distributed systems: three chapters concentrate on linear-time or branching-time temporal logics; one addresses process equivalence with an emphasis on infinite-state systems; and the final one presents...
In the past decade, the formal theory of specification,
verfication and development of real-time programs has grown
from work of a few specialized groups to a real "bandwagon".
Many eminent research groups have shifted their interests in
this direction. Consequently, research in real-time i...
This book presents five tutorial-style lectures on various approaches to the problem of verifying distributed systems: three chapters concentrate on linear-time or branching-time temporal logics; one addresses process equivalence with an emphasis on infinite-state systems; and the final one presents...
Eingebettete Systeme und Cyber Physical Systems, die direkt mit der Umwelt interagieren, sind allgegenwärtig. Mikroelektronik definiert dabei die wesentliche Funktionalität. Deshalb muss die Zuverlässigkeit des Systems sichergestellt werden.
Zu den Themenbereichen Entwurfsmethodik, Eingebettete S...
In the past decade, the formal theory of specification,
verfication and development of real-time programs has grown
from work of a few specialized groups to a real "bandwagon".
Many eminent research groups have shifted their interests in
this direction. Consequently, research in real-time i...