State-Constraint Transition: A Language for the Formal Specification of Dynamic Cyber-System Requirements - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Camille Salinesi, Asmaa Achtaich, Nissrine Souissi, Raúl Mazo, Ounsa Roudiès, Ángela Villota. State-Constraint Transition: A Language for the Formal Specification of Dynamic Cyber-System Requirements. Transactions of the SDPS, 25(2):80-99, 2021. [doi]

This author has not been identified. Look up 'Camille Salinesi' in GoogleThis author has not been identified. Look up 'Asmaa Achtaich' in GoogleThis author has not been identified. Look up 'Nissrine Souissi' in GoogleThis author has not been identified. Look up 'Raúl Mazo' in GoogleThis author has not been identified. Look up 'Ounsa Roudiès' in GoogleThis author has not been identified. Look up 'Ángela Villota' in Google

runs on WebDSL