The Stanford Ada Style Checker: An Application of the Anna Tools and Methodology.

doi 10.21236/ada311136
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Defense Technical Information Center

Related search

Legal Update—Application of the ADA to Contingent Workers

AAOHN Journal
2001English

The Sheaf of Straight Lines Methodology. An Application to the Spanish Stock Market

AESTIMATIO
2014English

The Potential Possibility of Symptom Checker

International Journal of Health Policy and Management
Health Information ManagementManagementMonitoringHealth PolicyLeadershipHealthPolicyLaw
2017English

The JKind Model Checker

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2018English

Estimation and Identification of a DSGE Model: An Application of the Data Cloning Methodology

English

The Stanford Organ: A Synthesis of Views, the Stanford Eclectic Tunings

Performance Practice Review
1992English

McMas: An Open-Source Model Checker for the Verification of Multi-Agent Systems

International Journal on Software Tools for Technology Transfer
Information SystemsSoftware
2015English

Talks and Tweets From the ADA

Journal of Diabetes
EndocrinologyMetabolismDiabetes
2018English

Improving and Assessing the Efficiency of the Mc4cslta Model Checker

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2013English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2024 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy