13
Nov

Version 2.12 released

We are proud to announce the release of AF3 version 2.12, downloadable at http://af3.fortiss.org/download/ ! We hope, that you will enjoy AF3 2.12!
Zur Detailseite >

14
Jul

3 AutoFOCUS papers accepted at MODELS 2017!

We are delighted to announce that 3 papers presenting various new features of AF3 have been accepted at MODELS 2017! See you in Austin in September if you want to learn more about the latest Design Space Exploration features,...
Zur Detailseite >

12
Jul

New webcast on keeping requirements and design consistent!

See on https://af3.fortiss.org/docs/screencasts/ the video on requirements change in AF3! (also available at https://www.youtube.com/watch?v=DHFntmGslms). You will see how one can use AF3 for : - communication...
Zur Detailseite >

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 >

Treffer ###SPAN_BEGIN###%s bis %s von ###SPAN_BEGIN###%s
<< Erste < Vorherige 1-7 8-14 Nächste > Letzte >>

Ansprechpartner

Vincent Aravantinos