𝔖 Bobbio Scriptorium

✦ LIBER ✦

[IEEE 2012 38th EUROMICRO Conference on Software Engineering and Advanced Applications (SEAA) - Cesme, Izmir, Turkey (2012.09.5-2012.09.8)] 2012 38th Euromicro Conference on Software Engineering and Advanced Applications - A Property-Based Proof System for Contract-Based Design

✍ Scribed by Cimatti, Alessandro; Tonetta, Stefano

Book ID: 120422984
Publisher: IEEE
Year: 2012
Weight: 204 KB
Category: Article
ISBN: 1467324515
DOI: 10.1109/SEAA.2012.68

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[IEEE 2012 38th EUROMICRO Conference on

[IEEE 2012 38th EUROMICRO Conference on Software Engineering and Advanced Applications (SEAA) - Cesme, Izmir, Turkey (2012.09.5-2012.09.8)] 2012 38th Euromicro Conference on Software Engineering and Advanced Applications - Towards Mobile Multimedia Mashup Architecture

✍ Hartikainen, Mikko; Salminen, Arto; Kallio, Jarno 📂 Article 📅 2012 🏛 IEEE ⚖ 310 KB

[IEEE 2012 38th EUROMICRO Conference on

[IEEE 2012 38th EUROMICRO Conference on Software Engineering and Advanced Applications (SEAA) - Cesme, Izmir, Turkey (2012.09.5-2012.09.8)] 2012 38th Euromicro Conference on Software Engineering and Advanced Applications - A Lightweight Approach for Product Line Scoping

✍ Nobauer, Markus; Seyff, Norbert; Groher, Iris; Dhungana, Deepak 📂 Article 📅 2012 🏛 IEEE ⚖ 295 KB

[IEEE 2012 38th EUROMICRO Conference on

[IEEE 2012 38th EUROMICRO Conference on Software Engineering and Advanced Applications (SEAA) - Cesme, Izmir, Turkey (2012.09.5-2012.09.8)] 2012 38th Euromicro Conference on Software Engineering and Advanced Applications - Multi-view Power Modeling Based on UML, MARTE and SysML

✍ Gomez, Carlos; DeAntoni, Julien; Mallet, Frederic 📂 Article 📅 2012 🏛 IEEE ⚖ 225 KB

[IEEE 2012 38th EUROMICRO Conference on

[IEEE 2012 38th EUROMICRO Conference on Software Engineering and Advanced Applications (SEAA) - Cesme, Izmir, Turkey (2012.09.5-2012.09.8)] 2012 38th Euromicro Conference on Software Engineering and Advanced Applications - An Aspect-Based Feature Model for Architecting Component Product Lines

✍ Tizzei, Leonardo P.; Rubira, Cecilia M.F.; Lee, Jaejoon 📂 Article 📅 2012 🏛 IEEE ⚖ 347 KB

[IEEE 2012 38th EUROMICRO Conference on

[IEEE 2012 38th EUROMICRO Conference on Software Engineering and Advanced Applications (SEAA) - Cesme, Izmir, Turkey (2012.09.5-2012.09.8)] 2012 38th Euromicro Conference on Software Engineering and Advanced Applications - Towards Automatic Synthesis of Hardware-Specific Code in Component-Based Embedded Systems

✍ Lednicki, Luka; Crnkovic, Ivica; agar, Mario 📂 Article 📅 2012 🏛 IEEE ⚖ 159 KB

[IEEE 2012 38th EUROMICRO Conference on

[IEEE 2012 38th EUROMICRO Conference on Software Engineering and Advanced Applications (SEAA) - Cesme, Izmir, Turkey (2012.09.5-2012.09.8)] 2012 38th Euromicro Conference on Software Engineering and Advanced Applications - A Model-Driven Engineering Framework for Fault Tolerance in Dependable Embedded Systems Design

✍ Ziani, Adel; Hamid, Brahim; Bruel, Jean-Michel 📂 Article 📅 2012 🏛 IEEE ⚖ 527 KB