Titel

Merkliste
1 Ergebnisse

Design and verification of real-time systems:

, In: Proceedings of the 2nd international conference on Software engineering,

Phillips, Jorge V. ; Bredt, Thomas H. - p. 124-131 , 1976

Link: https://dl.acm.org/doi/10.5555/800253.807662

RT 
T1 <cTitle>Proceedings of the 2nd international conference on Software engineering</cTitle>: T1 <Title>Design and verification of real-time systems</Title>

UL https://suche.suub.uni-bremen.de/peid=acm-807662&Exemplar=1&LAN=DE
				
A1 Phillips, Jorge V.
A1 Bredt, Thomas H.
PB IEEE Computer Society Press
YR 1976
K1 Design methodologies
K1 Implementation languages
K1 Operating systems
K1 Program specification
K1 Program verification
K1 Real-time systems
K1 Software and its engineering
K1 Software organization and properties
K1 Extra-functional properties
K1 Software reliability
K1 General and reference
K1 Cross-computing tools and techniques
K1 Reliability
K1 Software system structures
K1 Embedded software
K1 Software functional properties
K1 Correctness
K1 Theory of computation
K1 Logic
K1 Proof theory
K1 Real-time systems software
K1 Computer systems organization
K1 Embedded and cyber-physical systems
K1 Embedded systems
SP 124
OP 131
LK http://dx.doi.org/https://dl.acm.org/doi/10.5555/800253.807662
DO https://dl.acm.org/doi/10.5555/800253.807662
SF ELIB - SuUB Bremen

Export

RefWorks (nur Desktop-Version!)
Flow (Zuerst in Flow einloggen, dann importieren)