28
Feb

Version 2.11 released!

We are proud to announce the release of AF3 version 2.11, downloadable at http://af3.fortiss.org/download/ ! This release includes reworked model analyses making formal verification an on-the-fly process. Many technical...
Zur Detailseite >

05
Sep

Follow AutoFocus3 on Twitter!

https://twitter.com/autofocus3_team
Zur Detailseite >

29
Aug

Version 2.10 released!

We are proud to announce the release of AF3 version 2.10, downloadable at http://af3.fortiss.org/download/ ! This release includes the new DSE perspective making the DSE process easier. Many technical improvements and bug...
Zur Detailseite >

07
Jun

New tutorials

The tutorial about the traffic light example has been updated and a new tutorial dealing with a car cruise control system has been added. Go check them out in the Docs section!
Zur Detailseite >

10
Feb

Version 2.9 released!

AF3 version 2.9 has been released.
Zur Detailseite >

19
Okt

AF3 Paper presented at ACES-MB 2015 (MODELS Workshop)

Sebastian Voss presented the paper "AutoFOCUS 3: Tooling Concepts for Seamless, Model-based Development of Embedded Systems" at ACES-MB 2015 (MODELS Workshop) in Ottawa on September 28th. You can download the paper in...
Zur Detailseite >

25
Aug

New version released!

AF3 version 2.8 has been released. We are proud to announce the release of AF3 version 2.8! This release includes several long-awaited GUI improvements (e.g., zoom in simulation, multi-line text fields, improved copy-pasting,...
Zur Detailseite >

Treffer 1 bis 7 von 11
<< Erste < Vorherige 1-7 8-11 Nächste > Letzte >>

Ansprechpartner

Vincent Aravantinos