Skapa en profil
Offentlig åtkomst
Visa alla10 artiklar
3 artiklar
tillgänglig
inte tillgänglig
Enligt krav från finansiärer
Medförfattare
- Ana CavalcantiUniversity of YorkVerifierad e-postadress på cs.york.ac.uk
- Pedro RibeiroLecturer at the Department of Computer Science, University of YorkVerifierad e-postadress på york.ac.uk
- Simon FosterLecturer in Computer Science, University of YorkVerifierad e-postadress på york.ac.uk
- Jim WoodcockProfessor of Software Engineering, University of YorkVerifierad e-postadress på york.ac.uk
- Alvaro MiyazawaResearch Associate, University of YorkVerifierad e-postadress på york.ac.uk
- Gustavo CarvalhoUniversidade Federal de PernambucoVerifierad e-postadress på cin.ufpe.br
- Robert HieronsProfessor, The University of SheffieldVerifierad e-postadress på sheffield.ac.uk
- Leo FreitasSenior Lecturer in Formal Methods and Tools, School of Computing Science, Newcastle University, UKVerifierad e-postadress på newcastle.ac.uk
- Andy WellingsProfessor of Real-Time Systems, RTSRG, University of YorkVerifierad e-postadress på york.ac.uk