Search Sciweavers | Sciweavers

1799 search results - page 11 / 360

» The Logic of Correctness in Software Engineering

click to vote

EUROMICRO
2004
IEEE

98views Software Engineering» more EUROMICRO 2004»

Logical-Time Contracts for Reactive Embedded Components

15 years 9 months ago

Download www.idt.mdh.se

Florence Maraninchi, Lionel Morel

claim paper

Read More »

140

Voted

FATES
2006
Springer

102views Software Engineering» more FATES 2006»

Robustness of Temporal Logic Specifications

15 years 9 months ago

Download www.public.asu.edu

Georgios E. Fainekos, George J. Pappas

claim paper

Read More »

124

Voted

APSEC
2001
IEEE

103views Software Engineering» more APSEC 2001»

Cost Analysis of Games, Using Program Logic

15 years 9 months ago

Download www.cse.unsw.edu.au

Carroll Morgan, Annabelle McIver

claim paper

Read More »

110

click to vote

CODES
2001
IEEE

86views Software Engineering» more CODES 2001»

Logic optimization and code generation for embedded control applications

15 years 9 months ago

Download embedded.eecs.berkeley.edu

Yunjian Jiang, Robert K. Brayton

claim paper

Read More »

127

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 7 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers