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

13 years 11 months ago

Download www.idt.mdh.se

Florence Maraninchi, Lionel Morel

claim paper

Read More »

click to vote

FATES
2006
Springer

102views Software Engineering» more FATES 2006»

Robustness of Temporal Logic Specifications

13 years 11 months ago

Download www.public.asu.edu

Georgios E. Fainekos, George J. Pappas

claim paper

Read More »

click to vote

APSEC
2001
IEEE

103views Software Engineering» more APSEC 2001»

Cost Analysis of Games, Using Program Logic

13 years 11 months ago

Download www.cse.unsw.edu.au

Carroll Morgan, Annabelle McIver

claim paper

Read More »

click to vote

CODES
2001
IEEE

86views Software Engineering» more CODES 2001»

Logic optimization and code generation for embedded control applications

13 years 11 months ago

Download embedded.eecs.berkeley.edu

Yunjian Jiang, Robert K. Brayton

claim paper

Read More »

click to vote

AMAST
2008
Springer

104views Software Engineering» more AMAST 2008»

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

13 years 9 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers