Search Sciweavers | Sciweavers

1799 search results - page 11 / 360

» The Logic of Correctness in Software Engineering

106

click to vote

EUROMICRO
2004
IEEE

98views Software Engineering» more EUROMICRO 2004»

Logical-Time Contracts for Reactive Embedded Components

15 years 10 months ago

Download www.idt.mdh.se

Florence Maraninchi, Lionel Morel

claim paper

Read More »

151

click to vote

FATES
2006
Springer

102views Software Engineering» more FATES 2006»

Robustness of Temporal Logic Specifications

15 years 10 months ago

Download www.public.asu.edu

Georgios E. Fainekos, George J. Pappas

claim paper

Read More »

145

click to vote

APSEC
2001
IEEE

103views Software Engineering» more APSEC 2001»

Cost Analysis of Games, Using Program Logic

15 years 10 months ago

Download www.cse.unsw.edu.au

Carroll Morgan, Annabelle McIver

claim paper

Read More »

126

click to vote

CODES
2001
IEEE

86views Software Engineering» more CODES 2001»

Logic optimization and code generation for embedded control applications

15 years 10 months ago

Download embedded.eecs.berkeley.edu

Yunjian Jiang, Robert K. Brayton

claim paper

Read More »

147

click to vote

AMAST
2008
Springer

104views Software Engineering» more AMAST 2008»

Separation Logic Contracts for a Java-Like Language with Fork/Join

15 years 8 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers