Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

7

ICSOFT
2007

favoriteEmaildiscussreport

69views Software Engineering» more ICSOFT 2007»

A Formal Approach for the Development of Automated Systems

13 years 6 months ago

A Formal Approach for the Development of Automated Systems

Download hal.archives-ouvertes.fr

Olfa Mosbahi, Leila Jemni, Jacques Jaray

Real-time Traffic

ICSOFT 2007 | Software Engineering |

claim paper

Related Content

» An Automated Framework for Formal Verification of Timed Continuous Petri Nets

» Isar A Generic Interpretative Approach to Readable Formal Proof Documents

» A Formal Approach to Heterogeneous Software Modeling

» A formal approach to negotiating agents development

» Two Complementary Tools for the Formal Testing of Distributed Systems with Time Constraint...

» Formal Analysis and Automatic Generation of User Interfaces Approach Methodology and an Al...

» Automated MachineChecked Hybrid System Safety Proofs

» Exploring ModelBased Development for the Verification of RealTime Java Code

» Pragmatic Formal Design A Case Study in Integrating Formal Methods into the HCI Developmen...

Post Info
More Details (n/a)

Added	29 Oct 2010
Updated	29 Oct 2010
Type	Conference
Year	2007
Where	ICSOFT
Authors	Olfa Mosbahi, Leila Jemni, Jacques Jaray

Comments (0)