FORSYTE – Formal Methods in Systems Engineering
Favoritenstraße 9-11
1040 Wien, Austria
1040 Wien, Austria
Click to show phone
FORSYTE – Formal Methods in Systems Engineering Company Information
General information
The FORSYTE group at Vienna University of Technology researches and provides teaching in the fields of software model checking test case generation static analysis protocol verification and formal methods for distributed and concurrent systems.
Favoritenstraße 9-11 Wien
- Opening hours
- Phone number
- +4315880118403
- Linki
- Keywords
- public university, university
FORSYTE – Formal Methods in Systems Engineering Reviews & Ratings
How do you rate this company?
Are you the owner of this company? If so, do not lose the opportunity to update your company's profile, add products, offers and higher position in search engines.
A similiar page for your business?
Make sure everyone can find you and your offer. Create your dedicated company page on Yellow Pages Hungary - it's simply and easy!
Add your company
