Found: 10
Select item for more details and to access through your institution.
Embedding domain-specific modelling languages in Maude specifications.
- Published in:
- Software & Systems Modeling, 2013, v. 12, n. 4, p. 847, doi. 10.1007/s10270-012-0232-5
- By:
- Publication type:
- Article
Training is not enough: child and adolescent psychiatry clinicians' impressions of telepsychiatry during the first COVID-19 related lockdown.
- Published in:
- European Child & Adolescent Psychiatry, 2023, v. 32, n. 6, p. 987, doi. 10.1007/s00787-022-02042-2
- By:
- Publication type:
- Article
Clinical decision support methods for children and youths with mental health disorders in primary care.
- Published in:
- 2022
- By:
- Publication type:
- journal article
Integrating Formal Verification and Conformance Testing for Reactive Systems.
- Published in:
- IEEE Transactions on Software Engineering, 2007, v. 33, n. 8, p. 558, doi. 10.1109/TSE.2007.70707
- By:
- Publication type:
- Article
Combining formal verification and conformance testing for validating reactive systems<FN>An early version of this paper appeared as ‘Verification using test generation techniques’ by Vlad Rusu in Proceedings of Formal Methods Europe 2002 (Lecture Notes in Computer Science, vol. 2391), pp. 252–271, © 2002 Springer-Verlag. This revised and expanded version appears here with the permission of Springer-Verlag </FN>
- Published in:
- Software Testing: Verification & Reliability, 2003, v. 13, n. 3, p. 157, doi. 10.1002/stvr.274
- By:
- Publication type:
- Article
DEFYING THE ODDS: EMERGENCY CERCLAGE IN AN IVF PREGNANCY -- A CASE REPORT.
- Published in:
- Acta Marisiensis. Seria Medica, 2024, v. 70, p. 181
- By:
- Publication type:
- Article
OCHRONOTIC ARTHROPATHY- A CASE REPORT.
- Published in:
- Acta Marisiensis. Seria Medica, 2024, v. 70, p. 184
- By:
- Publication type:
- Article
OMBREDANNE'S DISEASE: POSTOPERATIVE COMMON PERONEAL NERVE PALSY IN A PATIENT WITH NUMEROUS REINTERVENTIONS.
- Published in:
- Acta Marisiensis. Seria Medica, 2024, v. 70, p. 173
- By:
- Publication type:
- Article
RAPIDLY PROGRESSIVE COXARTHORIS: A CASE REPORT.
- Published in:
- Acta Marisiensis. Seria Medica, 2024, v. 70, p. 151
- By:
- Publication type:
- Article
Verifying an ATM Protocol Using a Combination of Formal Techniques *A preliminary version of this paper has appeared in Formal Methods Europe (FME'03), LNCS 2805, pp 223–243. The URL http://www.irisa.fr/vertecs/Equipe/Rusu/sscop contains PVS ...
- Published in:
- Computer Journal, 2006, v. 49, n. 6, p. 710, doi. 10.1093/comjnl/bxl039
- By:
- Publication type:
- Article