3540441654
Berlin Heidelberg u.a.: Springer
X, 453 S. Ill., graph. Darst. 24 cm.
Literaturangaben
Real-time data processing -- Congresses; Fault-tolerant computing -- Congresses; Konferenzschrift -- 2002 -- Oldenburg, OldenburgSoftwareentwicklungEchtzeitsystemEingebettetes SystemFormale MethodeFehlertoleranzModel CheckingVerifikationMethodeLogikErkenntnisWahrheitBetriebssystemDatenverarbeitungssystemVotingCyber-physisches SystemSoftware EngineeringProgrammierungSoftwareentwicklerWebentwicklung
Literaturangaben
Lecture notes in computer science
Lecture notes in computer science ; 2469
inf 001 k
Englisch