Titel

Merkliste
1 Ergebnisse

Modular translation validation of a full-sized synchronous ..:

, In: Proceedings of the 18th International Workshop on Software and Compilers for Embedded Systems,

Ngo, Van-Chan ; Talpin, Jean-Pierre ; Gautier, Thierry.. - p. 109-112 , 2015

Link: https://dl.acm.org/doi/10.1145/2764967.2775291

RT 
T1 <cTitle>Proceedings of the 18th International Workshop on Software and Compilers for Embedded Systems</cTitle>: T1 <Title>Modular translation validation of a full-sized synchronous compiler using off-the-shelf verification tools</Title>

UL https://suche.suub.uni-bremen.de/peid=acm-2775291&Exemplar=1&LAN=DE
				
A1 Ngo, Van-Chan
A1 Talpin, Jean-Pierre
A1 Gautier, Thierry
A1 Besnard, Loïc
A1 Le Guernic, Paul
PB ACM
YR 2015
K1 Computer systems organization
K1 Embedded and cyber-physical systems
K1 Real-time systems
K1 Software and its engineering
K1 Software creation and management
K1 Software verification and validation
K1 Formal software verification
K1 Software development process management
K1 Software organization and properties
K1 Software functional properties
K1 Formal methods
K1 Software verification
K1 Theory of computation
K1 Semantics and reasoning
K1 Program reasoning
K1 Program verification
K1 Software notations and tools
K1 Compilers
K1 General and reference
K1 Cross-computing tools and techniques
K1 Verification
SP 109
OP 112
LK http://dx.doi.org/https://dl.acm.org/doi/10.1145/2764967.2775291
DO https://dl.acm.org/doi/10.1145/2764967.2775291
SF ELIB - SuUB Bremen

Export

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